Towards parallelization of concurrent systems
نویسندگان
چکیده
منابع مشابه
Towards Transparent Parallelization of Connectionist Systems
This paper deals with the transparent paralleliza-tion of neural networks. The goal is to automatically derive parallel code for MIMD and SPMD architec-tures from abstract descriptions of networks. In this, unit parallelism and training set parallelism are discussed. First, an outline of the abstract neural network description language CONNECT is given. The language combines procedural, functio...
متن کاملTowards Transparent Parallelization of Connectionist Systems
Much work has been done in the area of parallel simulation of connectionist systems. However, usually parallel implementation issues for artiicial neural networks have been discussed in general terms, but the actual parallel programs implement speciic network models and are written in programming languages like C or C++. This paper deals with the transparent parallelization of neural networks. ...
متن کاملConcurrent Separation Logic for Pipelined Parallelization
Recent innovations in automatic parallelizing compilers are showing impressive speedups on multicore processors using shared memory with asynchronous channels. We have formulated an operational semantics and proved sound a concurrent separation logic to reason about multithreaded programs that communicate asynchronously through channels and share memory. Our logic supports shared channel endpoi...
متن کاملTowards Big Biology: High-Performance Verification of Large Concurrent Systems
interpretation
متن کاملTowards Design and Implementation of Concurrent Fuzzy Systems with PCN
In this paper we present the prototyp of a Fuz-zy{Library for the concurrent programming language PCN 3]. PCN (Parallel Composition Language) is based on parallel logic programming(like Strand) and allows an easy formulation of parallel programs which can be executed on a he-terogenous processor network. From our point of view this combination of Fuzzy Logic with paral-lelism ooers at least two...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: RAIRO - Theoretical Informatics and Applications
سال: 1998
ISSN: 0988-3754,1290-385X
DOI: 10.1051/ita/1998324-600991